Tree automaton - PDFSEARCH.IO - Document Search Engine

Tree automaton
Results: 92

#	Item
61	Implementing Asynchronous Distributed Systems Using the IOA Toolkit Chryssis Georgiou 1 , Panayiotis P. Mavrommatis2 , Joshua A. Tauber2 1 2 Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2007-11-27 05:21:59 Automata theory C++ Message Passing Interface Parallel computing ALGOL 68 Tree automaton C++ classes Computing Computer programming Software engineering
62	RE-Tree: An Efficient Index Structure for Regular Expressions Chee-Yong Chan, Minos Garofalakis, Rajeev Rastogi Bell Labs, Lucent Technologies cychan,minos,rastogi @research.bell-labs.com Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:03:00 Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Regular expression Alphabet Büchi automaton Automata theory Theory of computation Theoretical computer science
63	Microsoft Word - fp289-kumar.doc Add to Reading List Source URL: www1.cs.columbia.edu Language: English - Date: 2006-10-10 13:42:44 Applied mathematics Models of computation Spanning tree Deterministic finite automaton Graph coloring Minimum spanning tree Nondeterministic finite automaton Tree Finite-state machine Theoretical computer science Automata theory Mathematics
64	Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-07-10 12:10:51 Ω-automaton Büchi automaton Tree automaton Star height Alternating finite automaton Muller automaton Automata theory Theoretical computer science Computer science
65	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
66	Verifying monadic second order graph properties with tree automata Bruno Courcelle [removed] Ir`ene A. Durand [removed] Add to Reading List Source URL: dept-info.labri.fr Language: English - Date: 2011-05-23 10:41:41 Tree automaton Tree decomposition Clique Graph theory Theoretical computer science Automata theory
67	Autowrite: User’s Guide (Still being written) Ir`ene Durand Universit´e de Bordeaux I[removed]Talence, France Add to Reading List Source URL: dept-info.labri.fr Language: English - Date: 2005-02-01 05:50:58 Tree automaton Reduction strategy Overlap Automata theory Theoretical computer science Computer science
68	Labeled directed graphs and FSA as classifiers of strings Andrei Kelarev, Byeong Kang, Arthur Sale, Ray Williams School of Computing University of Tasmania Private Bag 100, Hobart Tasmania 7001, Australia Add to Reading List Source URL: eprints.utas.edu.au Language: English - Date: 2014-11-17 22:13:12 Formal languages Automata theory Theoretical computer science Graph Finite state transducer Tree automaton Mathematics Graph theory Combinatorics
69	Recognizing safety and liveness Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 15:44:12 Computer science Büchi automaton Finite-state machine Powerset construction Infinite tree automaton Ω-automaton Automata theory Theoretical computer science Models of computation
70	It’s a Small Inverse Kazuhiro Inaba ([removed]) September 10, 2010 1 Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2010-09-10 02:02:40 Automata theory Tree automaton Mathematics

UPDATE